Optimal. Leaf size=185 \[ \frac{2 \cos ^9(c+d x)}{9 a^2 d}-\frac{4 \cos ^7(c+d x)}{7 a^2 d}+\frac{2 \cos ^5(c+d x)}{5 a^2 d}-\frac{\sin ^5(c+d x) \cos ^5(c+d x)}{10 a^2 d}-\frac{3 \sin ^3(c+d x) \cos ^5(c+d x)}{16 a^2 d}-\frac{3 \sin (c+d x) \cos ^5(c+d x)}{32 a^2 d}+\frac{3 \sin (c+d x) \cos ^3(c+d x)}{128 a^2 d}+\frac{9 \sin (c+d x) \cos (c+d x)}{256 a^2 d}+\frac{9 x}{256 a^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.457852, antiderivative size = 185, normalized size of antiderivative = 1., number of steps used = 17, number of rules used = 7, integrand size = 29, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.241, Rules used = {2875, 2873, 2568, 2635, 8, 2565, 270} \[ \frac{2 \cos ^9(c+d x)}{9 a^2 d}-\frac{4 \cos ^7(c+d x)}{7 a^2 d}+\frac{2 \cos ^5(c+d x)}{5 a^2 d}-\frac{\sin ^5(c+d x) \cos ^5(c+d x)}{10 a^2 d}-\frac{3 \sin ^3(c+d x) \cos ^5(c+d x)}{16 a^2 d}-\frac{3 \sin (c+d x) \cos ^5(c+d x)}{32 a^2 d}+\frac{3 \sin (c+d x) \cos ^3(c+d x)}{128 a^2 d}+\frac{9 \sin (c+d x) \cos (c+d x)}{256 a^2 d}+\frac{9 x}{256 a^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2875
Rule 2873
Rule 2568
Rule 2635
Rule 8
Rule 2565
Rule 270
Rubi steps
\begin{align*} \int \frac{\cos ^8(c+d x) \sin ^4(c+d x)}{(a+a \sin (c+d x))^2} \, dx &=\frac{\int \cos ^4(c+d x) \sin ^4(c+d x) (a-a \sin (c+d x))^2 \, dx}{a^4}\\ &=\frac{\int \left (a^2 \cos ^4(c+d x) \sin ^4(c+d x)-2 a^2 \cos ^4(c+d x) \sin ^5(c+d x)+a^2 \cos ^4(c+d x) \sin ^6(c+d x)\right ) \, dx}{a^4}\\ &=\frac{\int \cos ^4(c+d x) \sin ^4(c+d x) \, dx}{a^2}+\frac{\int \cos ^4(c+d x) \sin ^6(c+d x) \, dx}{a^2}-\frac{2 \int \cos ^4(c+d x) \sin ^5(c+d x) \, dx}{a^2}\\ &=-\frac{\cos ^5(c+d x) \sin ^3(c+d x)}{8 a^2 d}-\frac{\cos ^5(c+d x) \sin ^5(c+d x)}{10 a^2 d}+\frac{3 \int \cos ^4(c+d x) \sin ^2(c+d x) \, dx}{8 a^2}+\frac{\int \cos ^4(c+d x) \sin ^4(c+d x) \, dx}{2 a^2}+\frac{2 \operatorname{Subst}\left (\int x^4 \left (1-x^2\right )^2 \, dx,x,\cos (c+d x)\right )}{a^2 d}\\ &=-\frac{\cos ^5(c+d x) \sin (c+d x)}{16 a^2 d}-\frac{3 \cos ^5(c+d x) \sin ^3(c+d x)}{16 a^2 d}-\frac{\cos ^5(c+d x) \sin ^5(c+d x)}{10 a^2 d}+\frac{\int \cos ^4(c+d x) \, dx}{16 a^2}+\frac{3 \int \cos ^4(c+d x) \sin ^2(c+d x) \, dx}{16 a^2}+\frac{2 \operatorname{Subst}\left (\int \left (x^4-2 x^6+x^8\right ) \, dx,x,\cos (c+d x)\right )}{a^2 d}\\ &=\frac{2 \cos ^5(c+d x)}{5 a^2 d}-\frac{4 \cos ^7(c+d x)}{7 a^2 d}+\frac{2 \cos ^9(c+d x)}{9 a^2 d}+\frac{\cos ^3(c+d x) \sin (c+d x)}{64 a^2 d}-\frac{3 \cos ^5(c+d x) \sin (c+d x)}{32 a^2 d}-\frac{3 \cos ^5(c+d x) \sin ^3(c+d x)}{16 a^2 d}-\frac{\cos ^5(c+d x) \sin ^5(c+d x)}{10 a^2 d}+\frac{\int \cos ^4(c+d x) \, dx}{32 a^2}+\frac{3 \int \cos ^2(c+d x) \, dx}{64 a^2}\\ &=\frac{2 \cos ^5(c+d x)}{5 a^2 d}-\frac{4 \cos ^7(c+d x)}{7 a^2 d}+\frac{2 \cos ^9(c+d x)}{9 a^2 d}+\frac{3 \cos (c+d x) \sin (c+d x)}{128 a^2 d}+\frac{3 \cos ^3(c+d x) \sin (c+d x)}{128 a^2 d}-\frac{3 \cos ^5(c+d x) \sin (c+d x)}{32 a^2 d}-\frac{3 \cos ^5(c+d x) \sin ^3(c+d x)}{16 a^2 d}-\frac{\cos ^5(c+d x) \sin ^5(c+d x)}{10 a^2 d}+\frac{3 \int 1 \, dx}{128 a^2}+\frac{3 \int \cos ^2(c+d x) \, dx}{128 a^2}\\ &=\frac{3 x}{128 a^2}+\frac{2 \cos ^5(c+d x)}{5 a^2 d}-\frac{4 \cos ^7(c+d x)}{7 a^2 d}+\frac{2 \cos ^9(c+d x)}{9 a^2 d}+\frac{9 \cos (c+d x) \sin (c+d x)}{256 a^2 d}+\frac{3 \cos ^3(c+d x) \sin (c+d x)}{128 a^2 d}-\frac{3 \cos ^5(c+d x) \sin (c+d x)}{32 a^2 d}-\frac{3 \cos ^5(c+d x) \sin ^3(c+d x)}{16 a^2 d}-\frac{\cos ^5(c+d x) \sin ^5(c+d x)}{10 a^2 d}+\frac{3 \int 1 \, dx}{256 a^2}\\ &=\frac{9 x}{256 a^2}+\frac{2 \cos ^5(c+d x)}{5 a^2 d}-\frac{4 \cos ^7(c+d x)}{7 a^2 d}+\frac{2 \cos ^9(c+d x)}{9 a^2 d}+\frac{9 \cos (c+d x) \sin (c+d x)}{256 a^2 d}+\frac{3 \cos ^3(c+d x) \sin (c+d x)}{128 a^2 d}-\frac{3 \cos ^5(c+d x) \sin (c+d x)}{32 a^2 d}-\frac{3 \cos ^5(c+d x) \sin ^3(c+d x)}{16 a^2 d}-\frac{\cos ^5(c+d x) \sin ^5(c+d x)}{10 a^2 d}\\ \end{align*}
Mathematica [B] time = 8.43935, size = 585, normalized size = 3.16 \[ \frac{45360 d x \sin \left (\frac{c}{2}\right )-30240 \sin \left (\frac{c}{2}+d x\right )+30240 \sin \left (\frac{3 c}{2}+d x\right )-1260 \sin \left (\frac{3 c}{2}+2 d x\right )-1260 \sin \left (\frac{5 c}{2}+2 d x\right )-6720 \sin \left (\frac{5 c}{2}+3 d x\right )+6720 \sin \left (\frac{7 c}{2}+3 d x\right )-7560 \sin \left (\frac{7 c}{2}+4 d x\right )-7560 \sin \left (\frac{9 c}{2}+4 d x\right )+4032 \sin \left (\frac{9 c}{2}+5 d x\right )-4032 \sin \left (\frac{11 c}{2}+5 d x\right )+630 \sin \left (\frac{11 c}{2}+6 d x\right )+630 \sin \left (\frac{13 c}{2}+6 d x\right )+720 \sin \left (\frac{13 c}{2}+7 d x\right )-720 \sin \left (\frac{15 c}{2}+7 d x\right )+945 \sin \left (\frac{15 c}{2}+8 d x\right )+945 \sin \left (\frac{17 c}{2}+8 d x\right )-560 \sin \left (\frac{17 c}{2}+9 d x\right )+560 \sin \left (\frac{19 c}{2}+9 d x\right )-126 \sin \left (\frac{19 c}{2}+10 d x\right )-126 \sin \left (\frac{21 c}{2}+10 d x\right )-2520 \cos \left (\frac{c}{2}\right ) (187 c-18 d x)+30240 \cos \left (\frac{c}{2}+d x\right )+30240 \cos \left (\frac{3 c}{2}+d x\right )-1260 \cos \left (\frac{3 c}{2}+2 d x\right )+1260 \cos \left (\frac{5 c}{2}+2 d x\right )+6720 \cos \left (\frac{5 c}{2}+3 d x\right )+6720 \cos \left (\frac{7 c}{2}+3 d x\right )-7560 \cos \left (\frac{7 c}{2}+4 d x\right )+7560 \cos \left (\frac{9 c}{2}+4 d x\right )-4032 \cos \left (\frac{9 c}{2}+5 d x\right )-4032 \cos \left (\frac{11 c}{2}+5 d x\right )+630 \cos \left (\frac{11 c}{2}+6 d x\right )-630 \cos \left (\frac{13 c}{2}+6 d x\right )-720 \cos \left (\frac{13 c}{2}+7 d x\right )-720 \cos \left (\frac{15 c}{2}+7 d x\right )+945 \cos \left (\frac{15 c}{2}+8 d x\right )-945 \cos \left (\frac{17 c}{2}+8 d x\right )+560 \cos \left (\frac{17 c}{2}+9 d x\right )+560 \cos \left (\frac{19 c}{2}+9 d x\right )-126 \cos \left (\frac{19 c}{2}+10 d x\right )+126 \cos \left (\frac{21 c}{2}+10 d x\right )-471240 c \sin \left (\frac{c}{2}\right )+327180 \sin \left (\frac{c}{2}\right )}{1290240 a^2 d \left (\sin \left (\frac{c}{2}\right )+\cos \left (\frac{c}{2}\right )\right )} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.125, size = 619, normalized size = 3.4 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.58117, size = 817, normalized size = 4.42 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.18664, size = 292, normalized size = 1.58 \begin{align*} \frac{17920 \, \cos \left (d x + c\right )^{9} - 46080 \, \cos \left (d x + c\right )^{7} + 32256 \, \cos \left (d x + c\right )^{5} + 2835 \, d x - 63 \,{\left (128 \, \cos \left (d x + c\right )^{9} - 496 \, \cos \left (d x + c\right )^{7} + 488 \, \cos \left (d x + c\right )^{5} - 30 \, \cos \left (d x + c\right )^{3} - 45 \, \cos \left (d x + c\right )\right )} \sin \left (d x + c\right )}{80640 \, a^{2} d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.28953, size = 347, normalized size = 1.88 \begin{align*} \frac{\frac{2835 \,{\left (d x + c\right )}}{a^{2}} + \frac{2 \,{\left (2835 \, \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right )^{19} + 27405 \, \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right )^{17} - 139356 \, \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right )^{15} + 860160 \, \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right )^{14} - 618660 \, \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right )^{13} - 430080 \, \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right )^{12} + 1609650 \, \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right )^{11} + 516096 \, \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right )^{10} - 1609650 \, \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right )^{9} + 1290240 \, \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right )^{8} + 618660 \, \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right )^{7} - 368640 \, \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right )^{6} + 139356 \, \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right )^{5} + 184320 \, \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right )^{4} - 27405 \, \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right )^{3} + 40960 \, \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right )^{2} - 2835 \, \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right ) + 4096\right )}}{{\left (\tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right )^{2} + 1\right )}^{10} a^{2}}}{80640 \, d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]